A Calculus of Bounded Capacities
نویسندگان
چکیده
Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation.
منابع مشابه
On Stochastic Network Calculus
This research is to develop a new form of stochastic network calculus for queuing system performance guarantees by making use of the Legendre transform at the sample-path level. A symmetrical formulation is resulted in through separate modeling of traffic flows and service capacities. Performance measures at single nodes and the service capacities of tandem systems are explicitly bounded at the...
متن کاملRational Choice Theory: A Cultural Reconsideration
Economists have heralded the formulation of the expected utility theorem as a universal method of choice under uncertainty. In their seminal paper, Stigler and Becker (Stigler & Becker, 1977) declared that “human behavior can be explained by a generalized calculus of utility-maximizing behavior” (p.76). The universality of the rational choice theory has been widely criticized by psychologists, ...
متن کاملSpace-aware ambients and processes
Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient calculus with bounded capacities and weighed processes, where migration and activation require space. A type system controls the dynamics of the calculus by providing static guarantees that th...
متن کاملSpace - Aware Ambients and Processes ? Franco
Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient calculus with bounded capacities and weighed processes, where migration and activation require space. A type system controls the dynamics of the calculus by providing static guarantees that th...
متن کاملBounds on Mobility
We study natural semantic fragments of the π-calculus: depthbounded processes (there is a bound on the longest communication path), breadth-bounded processes (there is a bound on the number of parallel processes sharing a name), and name-bounded processes (there is a bound on the number of shared names). We give a complete characterization of the decidability frontier for checking if a π-calcul...
متن کامل